interpretation of formalisms

形式系统的解释

热门查询

rev　　n. 发动机的旋转 n. (Rev)人名；(英)雷夫；(俄)列夫 vt. 使加速；增加 vi. 加快转速；增长
lampshade　　n. 灯罩
tabloid　　n. 小报；药片；文摘；小型画报 adj. 小报式的；缩略的；轰动性的；扼要的
Miyazawa　　n. (Miyazawa)人名；(日)宫泽(姓)
nestling　　n. 婴儿；未离巢的雏鸟 v. 安顿下来；筑巢；把…安置于巢中（nestle的ing形式）
disappear　　vi. 消失；失踪；不复存在 vt. 使…不存在；使…消失
preceding　　v. 在...之前（precede的ing形式） adj. 在前的；前述的
allo　　adj. 紧密相联的；同分异构的 n. (Allo)人名；(西)阿略；(英、法、芬、瑞典)阿洛
preparatory　　n. 预科；预备学校 adj. 预备的
storable　　n. 耐贮藏的物品 adj. 可储存的；耐贮藏的
thief　　n. 小偷，贼
anyway　　adv. 无论如何，不管怎样；总之
bushing　　n. [电] 套管；轴衬
butte　　n. 孤峰；孤立的丘 n. (Butte)人名；(法)比特；(罗)布特
Errol　　[男子名] 埃罗尔来源于拉丁语，含义是“漫游四方的”(wandering); [地名] [英国、英国] 埃勒尔
SHEP　　abbr. solar high energy particles 太阳高能粒子; superstructure high efficiency photovoltaic 超结构高效率光生伏打的
commit　　vt. 犯罪，做错事；把...交托给；指派…作战；使…承担义务
sacrilege　　n. 冒渎；亵渎圣物；悖理逆天的行为
Cochrane　　[人名] [苏格兰人姓氏] 科克伦住所名称，来源于威尔士语，含义是“红”(red); [地名] [阿根廷、加拿大、美国] 科克伦
fealty　　n. 忠诚；忠实